Qualité:
Lean - assistant de preuve. Ce langage de programmation est le 358e le plus populaire dans le classement mondial Wikipédia de langages de programmation et le 316e le plus populaire langages de programmation sur Wikipédia en anglais. L'article « Lean (proof assistant) » sur Wikipédia en anglais a 41.4 points pour la qualité (au 1 juillet 2025).
L'article contient 28 références et 11 sections.
Cet article a la meilleure qualité sur Wikipédia en chinois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.
Réalisations dans tout le temps:
Wikipédia en anglais:
Wikipédia mondial:
En juin 2025 l'article « Lean (proof assistant) » a été édité par 4 auteurs sur Wikipédia en anglais et écrit par 9 auteurs dans toutes les langues.
Depuis la création de l'article « Lean (proof assistant) », son contenu a été rédigé par 66 utilisateurs enregistrés de Wikipédia en anglais et édité par 131 utilisateurs Wikipédia enregistrés dans toutes les langues.
Lean est à la 316e place du classement local des langages de programmation sur Wikipédia en anglais
et à la 358e place dans le classement mondial des langages de programmation dans tout le temps.
L'article est cité 350 fois dans Wikipédia en anglais et cité 493 fois dans toutes les langues.
Le rang d’intérêt des auteurs le plus élevé depuis 2001:
- Local (anglais): n° 18174 en octobre 2023
- Mondial: n° 28697 en juin 2024
Le classement de popularité le plus élevé depuis 2008:
- Local (anglais): n° 82170 en juin 2025
- Mondial: n° 114703 en juin 2025
Il existe 14 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).
L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 juillet 2025 (y compris l'historique des révisions et les pages vues des années précédentes).
Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.
